Source-to-source translator for C, which analyzes the program to determine the smallest number of run-time checks that must be inserted in the program to prevent all memory safety violations.
Cxref is a C source code cross referencing and documenting program for UNIX, written by Andrew M. Bishop. Cxref makes both html and latex style document.